DOMINO: Trivalent Logic Semantics in Bivalent Syntax Clothes
نویسندگان
چکیده
منابع مشابه
DOMINO: Trivalent Logic Semantics in Bivalent Syntax Clothes
The paper describes a rather general software mechanism developed primarily for decision making in dynamic and uncertain environments (typical application: managing overbooking). DOMINO (Decision-Oriented Mechanism for "IF" as Non-deterministic Operator) is meant to deal with undecidability due to any kind of future contingents. Its description here is self-contained but, since a validation is ...
متن کاملSyntax and Semantics of the Logic Lλωω
In this paper we study the logic Lωω, which is first order logic extended by quantification over functions (but not over relations). We give the syntax of the logic, as well as the semantics in Heyting categories with exponentials. Embedding the generic model of a theory into a Grothendieck topos yields completeness of Lωω with respect to models in Grothendieck toposes, which can be sharpened t...
متن کاملLinear Logic : Its Syntax and Semantics
This is perfect in mathematics, but wrong in real life, since real implication is causal. A causal implication cannot be iterated since the conditions are modified after its use ; this process of modification of the premises (conditions) is known in physics as reaction. For instance, if A is to spend $1 on a pack of cigarettes and B is to get them, you lose $1 in this process, and you cannot do...
متن کاملPropositional mixed logic: its syntax and semantics
In this paper, we present a propositional logic (called mixed logic) containing disjoint copies of minimal, intuitionistic and classical logics. We prove a completeness theorem for this logic with respect to a Kripke semantics. We establish some relations between mixed logic and minimal, intuitionistic and classical logics. We present at the end a sequent calculus version for this logic.
متن کاملProof Diagrams for Multiplicative Linear Logic: Syntax and Semantics
Proof nets are a syntax for linear logic proofs which gives a coarser notion of proof equivalence with respect to syntactic equality together with an intuitive geometrical representation of proofs. In this paper we give an alternative 2-dimensional syntax for multiplicative linear logic derivations. The syntax of string diagrams authorizes the definition of a framework where the sequentializabi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Computers Communications & Control
سال: 2007
ISSN: 1841-9836,1841-9836
DOI: 10.15837/ijccc.2007.3.2362